2

Towards Object-Oriented Klaim

Year:
2002
Language:
english
File:
PDF, 167 KB
english, 2002
6

Implementing type systems for the IDE with Xsemantics

Year:
2015
Language:
english
File:
PDF, 3.02 MB
english, 2015
9

A typed lambda calculus with intersection types

Year:
2008
Language:
english
File:
PDF, 420 KB
english, 2008
15

X-Klaim and Klava: Programming Mobile Code

Year:
2002
Language:
english
File:
PDF, 161 KB
english, 2002
19

Extending Java to dynamic object behaviors

Year:
2003
Language:
english
File:
PDF, 220 KB
english, 2003
20

Timed buffers: A technique for update propagation in nomadic environments

Year:
2008
Language:
english
File:
PDF, 292 KB
english, 2008
23

Translating Double Dispatch into Single Dispatch

Year:
2005
Language:
english
File:
PDF, 307 KB
english, 2005
26

Featherweight Java with dynamic and static overloading

Year:
2009
Language:
english
File:
PDF, 1.30 MB
english, 2009
47

Xtraitj: Traits for the Java platform

Year:
2016
Language:
english
File:
PDF, 5.19 MB
english, 2016
48

Quality-driven Detection and Resolution of Metamodel Smells

Year:
2019
Language:
english
File:
PDF, 12 KB
english, 2019